Knowledge Management Architecture - Principles and Tendencies

Algorithmic research is an established knowledge engineering process that has allowed researchers to identify new or significant problems, to better understand existing approaches and experimental results, and to obtain new, effective and efficient solutions. While algorithmic researchers regularly contribute to this knowledge base by proposing new problems and novel solutions, the processes currently used to share this knowledge are inefficient, resulting in unproductive overhead. Most of these publication-centered processes lack explicit high-level knowledge structures to support efficient knowledge management. The authors describe a problem-centered collaborative knowledge management architecture associated with Computational Problem Solving (CPS).Knowledge Management Architecture, algorithmic research, ontology, Knowledge-Based Systems

When rule-based models need to count

Rule-based modelers dislike direct enumeration of cases when more efficient means of enumeration are available. We present an extension of the Kappa language which attaches to agents a notion of level. We detail two encodings that are more concise than the former practice

Reversible Barbed Congruence on Configuration Structures

A standard contextual equivalence for process algebras is strong barbed congruence. Configuration structures are a denotational semantics for processes in which one can define equivalences that are more discriminating, i.e. that distinguish the denotation of terms equated by barbed congruence. Hereditary history preserving bisimulation (HHPB) is such a relation. We define a strong back and forth barbed congruence using a reversible process algebra and show that the relation induced by the back and forth congruence is equivalent to HHPB, providing a contextual characterization of HHPB.Comment: In Proceedings ICE 2015, arXiv:1508.0459

Contributions to Using IT in Education: An Educational Video Player

Following the trends of IT use in education we propose four main principles of educational application development: anytime-anywhere access (including access for mobile devices); user-generated content; assigning users an active role inside the platform; creating a correlation between natural activities and educational activities – adding fun into the equation. With these principles in mind we developed a small Educational Player – a movie player that connects to a database to show information relevant to the events in the movie, more specific to the exact key-frame (in the movie time-line) at the moment of the request. Though the application is still in a conceptual form, its possibilities make us confident in its future success either as an informal way of learning, or by using it in a formal educational context either as an e-learning tool, either as interactivity tool in a traditional classroom setting.E-learning, Educational Technologies, Multimedia Applications

The SGIA and the Common Growing Language

Human or virtual agents are presented in our lives daily. They serve our purposes and represent us in different many situations. Nowadays the number of virtual agents is increasing daily because they are cheaper, faster and more accurate than human agents. Our aim in this article is to define a new type of intelligent agent called SGIA – Self Growing Intelligent Agent and a new defining language for it. The SGIA agent is an intelligent agent with all the common agents’ characteristics and with other special one: that to learn and grow by itself in knowledge and size.Software Agent, Knowledge Management, Education Process, Language Development

CONSTRUCTION OF A GENERALIZED MODEL FOR DETERMINATION THE BROKER BEHAVIOUR FOR CAPITAL MARKET

The model checkers are tools which can be used to verify a given system satisfies a given temporal logic formula. The model is a directed graph where the nodes represent the states of the system and the edges represents the state transitions. The nodes and the edges can be labelled with atomic propositions what describe the states and the transitions of the system. In order to be verified by a given model, a property is written as a temporal logic formula across the labelled propositions from the model. A model checker is an algorithm that determines the states of a model that satisfy a temporal logic formula.

Contributions to Using IT in Education: An Educational Video Player

Following the trends of IT use in education we propose four main principles of educational application development: anytime-anywhere access (including access for mobile devices); user-generated content; assigning users an active role inside the platform; creating a correlation between natural activities and educational activities – adding fun into the equation. With these principles in mind we developed a small Educational Player – a movie player that connects to a database to show information relevant to the events in the movie, more specific to the exact key-frame (in the movie time-line) at the moment of the request. Though the application is still in a conceptual form, its possibilities make us confident in its future success either as an informal way of learning, or by using it in a formal educational context either as an e-learning tool, either as interactivity tool in a traditional classroom setting

CONSIDERATIONS ON USING KNOWLEDGE MANAGEMENT PRINCIPLES IN THE DEVELOPMENT OF E-LEARNING PLATFORMS

Developed in the business sector, where it proved to increase employee motivation, enhance customer support services and overall business efficiency, Knowledge Management found its way to higher education institutions. This paper tries to argument the benefits of using KM principles when designing an e-learning platform as well as point out a few practical implementations.knowledge management, e-learning, higher education